Ordinal arithmetic - PDFSEARCH.IO - Document Search Engine

Ordinal arithmetic
Results: 131

#	Item
91	An overview of the ordinal calculator Paul Budnik Mountain Math Software [removed] c[removed]Mountain Math Software Copyright Add to Reading List Source URL: www.mtnmath.com Language: English - Date: 2012-08-03 19:43:24 Ordinal notation Ordinal arithmetic Limit ordinal Veblen function Admissible ordinal Constructible universe First uncountable ordinal Large countable ordinal Ordinal numbers Mathematical logic Mathematics
92	The Robustness of Exclusion in Multi-dimensional Screening Paulo Barelli Suren Basov Add to Reading List Source URL: rcer.econ.rochester.edu Language: English - Date: 2012-02-21 19:19:50 Net Proof theory Ordinal numbers Logic Ordinal arithmetic Mathematical logic Mathematics Constructible universe
93	On the Optimality of Exclusion in Multi-dimensional Screening Paulo Barelli Suren Basov Add to Reading List Source URL: rcer.econ.rochester.edu Language: English - Date: 2012-12-11 14:52:35 Constructible universe Net Proof theory Logic Ordinal arithmetic Mathematical logic Mathematics Ordinal numbers
94	Axiomatic Set Theory: Problem sheet[removed]a) Assuming ZF (ie. ZF∗ +Foundation) prove that the following two definitions of “ordinal” are equivalent: (i) An ordinal is a transitive set well-ordered by ∈. (ii) An o Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2010-02-03 12:15:01 Ordinal numbers Axioms of set theory Z notation Constructible universe Ordinal arithmetic Axiom of regularity S Hartogs number Reflection principle Mathematical logic Mathematics Set theory
95	A JOIN THEOREM FOR THE COMPUTABLY ENUMERABLE DEGREES CARL G. JOCKUSCH, JR., ANGSHENG LI, AND YUE YANG Abstract. It is shown that for any computably enumerable (c.e.) degree w, if w 6= 0, then there is a c.e. degree a suc Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2003-12-16 11:01:22 Proof theory Limit set Mathematics Ordinal arithmetic Constructible universe Mathematical logic Ordinal numbers
96	JUMPS OF MINIMAL DEGREES BELOW 00 Rodney G. Downey, Steffen Lempp, and Richard A. Shore Abstract. We show that there is a degree a REA in and low over 00 such that no minimal degree below 00 jumps to a degree above a. W Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 1998-02-11 10:10:52 Ordinal numbers Set theory Curry–Howard correspondence Ordinal arithmetic Mathematical logic Mathematics Constructible universe
97	Gra¸bczewski & Paulson Mechanizing Set Theory Mechanizing Set Theory: Cardinal Arithmetic and the Axiom of Choice Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:46 Ordinal numbers Set theory Cardinal number Constructible universe Ordinal arithmetic Transfinite induction Mahlo cardinal Woodin cardinal Mathematical logic Large cardinals Mathematics
98	] [ NORTHERN HEMISPHERE VERSION Add to Reading List Source URL: shreveportastronomy.com Language: English - Date: 2011-04-22 20:43:24 Greek alphabet Mathematical logic Astronomy Constellations Symbol Ordinal arithmetic Astrology Big Dipper Ursa Major constellation
99	Cupping ∆02 enumeration degrees to 0e Mariya Ivanova Soskova1 Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2007-04-20 07:18:18 Mathematics Proof theory Ordinal arithmetic Curry–Howard correspondence Constructible universe Sheaf Ordinal number
100	Finding Endogenously Formed Communities Maria-Florina Balcan∗ Add to Reading List Source URL: www.cc.gatech.edu Language: English - Date: 2012-10-04 11:36:25 Logical consequence Logical syntax Metalogic Ordinal arithmetic Curry–Howard correspondence Logic Deduction Entailment

UPDATE